🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Three challenges in machine-based reasoning
amazon.science·20h·
Discuss: Hacker News
🧮Theorem Proving
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·22h
📏Linear Logic
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Weeknotes #336 — Sleepy bones
andrewdoran.uk·3h
⭐Awesome lists
DSPy Simba Explained
blog.mariusvach.com·1d·
Discuss: Hacker News
🧮SMT Solvers
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·10h·
Discuss: Hacker News
⚡Proof Automation
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
My blog on zero-knowledge cryptography
kaw101010.github.io·1h·
Discuss: Hacker News
🔐Quantum Security
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🎯Proof Tactics
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·9h·
Discuss: Hacker News
💻Programming languages
LLMs Can't Navigate Through the Physical World
hansenq.substack.com·5h·
Discuss: Substack
🧮Z3 Solver